#user-info {
    margin-top: 20px;
    padding: 5px 20px;
}

#user-info a.function {
    margin-left: 10px;
    padding: 2px 10px;
    border-radius: 8px;
}

#user-info a.function:hover {
    background: #dedede;
}

